Nuprl Definition : or
12,41
postcript
pdf
P
Q
==
P
+
Q
latex
Definitions
P
Q
origin
Q == P + Q Q == P + Q Q